Reps, Thomas W.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Analysis Techniques for Information Security

Datta, Anupam, Jha, Somesh, Li, Ninghui, Melski, David, Reps, Thomas

Journal:

Synthesis Lectures on Information Security Privacy and Trust

Year:

2010

Language:

english

File:

PDF, 1007 KB

english, 2010

2

Algebraic properties of program integration

Journal:

Science of Computer Programming

Year:

1991

Language:

english

File:

PDF, 5.02 MB

english, 1991

3

Automatic Assume/Guarantee Reasoning for Heap-Manipulating Programs: Ongoing Work

Greta Yorsh, Alexey Skidanov, Thomas Reps, Mooly Sagiv

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 370 KB

english, 2005

4

Program analysis via graph reachability

Journal:

Information and Software Technology

Year:

1998

Language:

english

File:

PDF, 739 KB

english, 1998

5

Interprocedural slicing using dependence graphs

Horwitz, Susan, Reps, Thomas, Binkley, David

Journal:

ACM SIGPLAN Notices

Year:

2004

Language:

english

File:

PDF, 1.86 MB

english, 2004

6

Analysis of recursive state machines

Alur, Rajeev, Benedikt, Michael, Etessami, Kousha, Godefroid, Patrice, Reps, Thomas, Yannakakis, Mihalis

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2005

Language:

english

File:

PDF, 389 KB

english, 2005

7

Parametric shape analysis via 3-valued logic

Sagiv, Mooly, Reps, Thomas, Wilhelm, Reinhard

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2002

Language:

english

File:

PDF, 1.05 MB

english, 2002

8

The Cornell program synthesizer: a syntax-directed programming environment

Teitelbaum, Tim, Reps, Thomas

Journal:

Communications of the ACM

Year:

1981

Language:

english

File:

PDF, 1.06 MB

english, 1981

9

“Maximal-munch” tokenization in linear time

Journal:

ACM Transactions on Programming Languages and Systems

Year:

1998

Language:

english

File:

PDF, 149 KB

english, 1998

10

[ACM Press the 9th ACM SIGPLAN-SIGACT symposium - Albuquerque, Mexico (1982.01.25-1982.01.27)] Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '82 - Optimal-time incremental semantic analysis for syntax-directed editors

Year:

1982

Language:

english

File:

PDF, 724 KB

english, 1982

11

A program integration algorithm that accommodates semantics-preserving transformations

Yang, Wuu, Horwitz, Susan, Reps, Thomas

Journal:

ACM Transactions on Software Engineering and Methodology

Year:

1992

Language:

english

File:

PDF, 2.93 MB

english, 1992

12

Program integration for languages with procedure calls

Binkley, David, Horwitz, Susan, Reps, Thomas

Journal:

ACM Transactions on Software Engineering and Methodology

Year:

1995

Language:

english

File:

PDF, 2.24 MB

english, 1995

13

An Incremental Algorithm for a Generalization of the Shortest-Path Problem

G. Ramalingam, Thomas Reps

Journal:

Journal of Algorithms

Year:

1996

Language:

english

File:

PDF, 363 KB

english, 1996

14

On the computational complexity of dynamic graph problems

G. Ramalingam, Thomas Reps

Journal:

Theoretical Computer Science

Year:

1996

Language:

english

File:

PDF, 3.39 MB

english, 1996

15

Precise interprocedural dataflow analysis with applications to constant propagation

Mooly Sagiv, Thomas Reps, Susan Horwitz

Journal:

Theoretical Computer Science

Year:

1996

Language:

english

File:

PDF, 2.75 MB

english, 1996

16

View-Augmented Abstractions

Matt Elder, Denis Gopan, Thomas Reps

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2010

Language:

english

File:

PDF, 307 KB

english, 2010

17

Weighted pushdown systems and their application to interprocedural dataflow analysis

Thomas Reps, Stefan Schwoon, Somesh Jha, David Melski

Journal:

Science of Computer Programming

Year:

2005

Language:

english

File:

PDF, 1.15 MB

english, 2005

18

Interconvertibility of a class of set constraints and context-free-language reachability

David Melski, Thomas Reps

Journal:

Theoretical Computer Science

Year:

2000

Language:

english

File:

PDF, 653 KB

english, 2000

19

Incremental evaluation for attribute grammars with unrestricted movement between tree modifications

Journal:

Year:

2007

Language:

english

File:

PDF, 1.19 MB

english, 2007

20

Efficient comparison of program slices

Susan Horwitz, Thomas Reps

Journal:

Acta Informatica

Year:

1991

Language:

english

File:

PDF, 1.20 MB

english, 1991

21

On the sequential nature of interprocedural program-analysis problems

Journal:

Acta Informatica

Year:

1996

Language:

english

File:

PDF, 1.10 MB

english, 1996

22

Symbolic analysis via semantic reinterpretation

Junghee Lim, Akash Lal, Thomas Reps

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2011

Language:

english

File:

PDF, 2.07 MB

english, 2011

23

Reducing concurrent analysis under a context bound to

Akash Lal, Thomas Reps

Journal:

Formal Methods in System Design

Year:

2009

Language:

english

File:

PDF, 695 KB

english, 2009

24

On competitive on-line algorithms for the dynamic priority-ordering problem

G. Ramalingam, Thomas Reps

Journal:

Information Processing Letters

Year:

1994

Language:

english

File:

PDF, 625 KB

english, 1994

25

Computational Divided Differencing and Divided-Difference Arithmetics

Thomas W. Reps, Louis B. Rall

Journal:

Higher-Order and Symbolic Computation

Year:

2003

Language:

english

File:

PDF, 308 KB

english, 2003

26

WYSINWYX : What you see is not what you eXecute

Balakrishnan, Gogul, Reps, Thomas

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2010

Language:

english

File:

PDF, 1.76 MB

english, 2010

27

Specialization Slicing

Aung, Min, Horwitz, Susan, Joiner, Rich, Reps, Thomas

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2014

Language:

english

File:

PDF, 3.81 MB

english, 2014

28

Interprocedural slicing using dependence graphs

Horwitz, Susan, Reps, Thomas, Binkley, David

Journal:

ACM Transactions on Programming Languages and Systems

Year:

1990

Language:

english

File:

PDF, 2.56 MB

english, 1990

29

The synthesizer generator

Reps, Thomas, Teitelbaum, Tim

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

1984

Language:

english

File:

PDF, 611 KB

english, 1984

30

[IEEE Technology Conference for Homeland Security (CATCH) - Washington, DC, USA (2009.03.3-2009.03.4)] 2009 Cybersecurity Applications & Technology Conference for Homeland Security - Static Analysis of Software Executables

Melski, David, Teitelbaum, Tim, Reps, Thomas

Year:

2009

Language:

english

File:

PDF, 1.11 MB

english, 2009

31

[IEEE 2006 13th Working Conference on Reverse Engineering - Benevento, Italy (2006.10.23-2006.10.27)] 2006 13th Working Conference on Reverse Engineering - Extracting Output Formats from Executables

Lim, Junghee, Reps, Thomas, Liblit, Ben

Year:

2006

Language:

english

File:

PDF, 374 KB

english, 2006

32

The Synthesizer Generator Reference Manual ||

Reps, Thomas W., Teitelbaum, Tim

Year:

1989

Language:

english

File:

PDF, 12.35 MB

english, 1989

33

The Synthesizer Generator ||

Reps, Thomas W., Teitelbaum, Tim

Year:

1989

Language:

english

File:

PDF, 12.69 MB

english, 1989

34

Solving shape-analysis problems in languages with destructive updating

Sagiv, Mooly, Reps, Thomas, Wilhelm, Reinhard

Journal:

ACM Transactions on Programming Languages and Systems

Year:

1998

Language:

english

File:

PDF, 687 KB

english, 1998

35

[ACM Press the 14th international conference - Melbourne, Australia (1992.05.11-1992.05.15)] Proceedings of the 14th international conference on Software engineering - ICSE '92 - The use of program dependence graphs in software engineering

Horwitz, Susan, Reps, Thomas

Year:

1992

Language:

english

File:

PDF, 2.46 MB

english, 1992

36

[ACM Press the 1995 ACM SIGPLAN symposium - La Jolla, California, United States (1995.06.21-1995.06.23)] Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '95 - Semantic foundations of binding-time analysis for imperative programs

Das, Manuvir, Reps, Thomas, van Hentenryck, Pascal

Year:

1995

Language:

english

File:

PDF, 1016 KB

english, 1995

37

Sublinear-space evaluation algorithms for attribute grammars

Reps, Thomas, Demers, Alan

Journal:

ACM Transactions on Programming Languages and Systems

Year:

1987

Language:

english

File:

PDF, 2.19 MB

english, 1987

38

[ACM Press the 26th ACM SIGPLAN-SIGACT symposium - San Antonio, Texas, United States (1999.01.20-1999.01.22)] Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '99 - Parametric shape analysis via 3-valued logic

Sagiv, Mooly, Reps, Thomas, Wilhelm, Reinhard

Year:

1999

Language:

english

File:

PDF, 2.19 MB

english, 1999

39

[ACM Press the first ACM SIGSOFT/SIGPLAN software engineering symposium - Not Known (1984..-..)] Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments - SDE 1 - The synthesizer generator

Reps, Thomas, Teitelbaum, Tim

Year:

1984

Language:

english

File:

PDF, 611 KB

english, 1984

40

[ACM Press the 1997 ACM SIGPLAN symposium - Amsterdam, The Netherlands (1997.06.12-1997.06.13)] Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation - PEPM '97 - Interconvertbility of set constraints and context-free language reachability

Melski, David, Reps, Thomas

Year:

1997

Language:

english

File:

PDF, 1.49 MB

english, 1997

41

Speeding up slicing

Reps, Thomas, Horwitz, Susan, Sagiv, Mooly, Rosay, Genevieve

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

1994

Language:

english

File:

PDF, 935 KB

english, 1994

42

Precise interprocedural chopping

Reps, Thomas, Rosay, Genevieve

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

1995

Language:

english

File:

PDF, 1.23 MB

english, 1995

43

Demand interprocedural dataflow analysis

Horwitz, Susan, Reps, Thomas, Sagiv, Mooly

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

1995

Language:

english

File:

PDF, 1.28 MB

english, 1995

44

Physical type checking for C

Chandra, Satish, Reps, Thomas

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

1999

Language:

english

File:

PDF, 1.03 MB

english, 1999

45

Putting static analysis to work for verification

Lev-Ami, Tal, Reps, Thomas, Sagiv, Mooly, Wilhelm, Reinhard

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2000

Language:

english

File:

PDF, 501 KB

english, 2000

46

A relational approach to interprocedural shape analysis

Jeannet, Bertrand, Loginov, Alexey, Reps, Thomas, Sagiv, Mooly

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2010

Language:

english

File:

PDF, 1.01 MB

english, 2010

47

[ACM Press the 21st ACM SIGPLAN-SIGACT symposium - Portland, Oregon, United States (1994.01.16-1994.01.19)] Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '94 - An incremental algorithm for maintaining the dominator tree of a reducible flowgraph

Ramalingam, G., Reps, Thomas

Year:

1994

Language:

english

File:

PDF, 954 KB

english, 1994

48

Finite differencing of logical formulas for static analysis

Reps, Thomas, Sagiv, Mooly, Loginov, Alexey

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2010

Language:

english

File:

PDF, 1.66 MB

english, 2010

49

[ACM Press the 19th ACM SIGSOFT symposium and the 13th European conference - Szeged, Hungary (2011.09.05-2011.09.09)] Proceedings of the 19th ACM SIGSOFT symposium and the 13th European conference on Foundations of software engineering - SIGSOFT/FSE '11 - Checking conformance of a producer and a consumer

Driscoll, Evan, Burton, Amanda, Reps, Thomas

Year:

2011

Language:

english

File:

PDF, 616 KB

english, 2011

50

[ACM Press the International Symposium - Portland, Oregon, United States (2000.08.21-2000.08.24)] Proceedings of the International Symposium on Software Testing and Analysis - ISSTA '00 - Putting static analysis to work for verification

Lev-Ami, Tal, Reps, Thomas, Sagiv, Mooly, Wilhelm, Reinhard

Year:

2000

Language:

english

File:

PDF, 501 KB

english, 2000

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски